home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / smaltalk / manchest.lha / MANCHESTER / usenet / st80_pre4 / grope.st < prev    next >
Text File  |  1993-07-24  |  3KB  |  66 lines
  1. "    NAME        grope
  2.     AUTHOR        Darren New <new@udel.edu>
  3.     FUNCTION      Graphical Representation of Protocols in Estelle
  4.     ST-VERSIONS    2.2 2.5
  5.     PREREQUISITES     # NIST's wizard and wize
  6.     CONFLICTS    
  7.     DISTRIBUTION    global
  8.     VERSION        1990
  9.     DATE        12/1990
  10. SUMMARY 
  11.  
  12. GROPE (Graphical representation of protocols in Estelle) is a tool for 
  13. graphically animating the dynamic execution of an Estelle formal specification.
  14. Developed in Smalltalk-80 and based on a SUN 3/110 workstation, GROPE is a 
  15. window-based system that pictorially represents a protocol's architecture, 
  16. animates transitions firing and the exchange of interactions between modules, 
  17. graphically displays a module's extended finite state machine and the 
  18. changing of states, and so on.
  19.  
  20. It is expected that the GROPE tool will assist the original protocol specifier 
  21. in the design and debugging process, promote faster understanding of a 
  22. protocol by those using it for the first time, and facilitate the development 
  23. of effective test scenarios.
  24.  
  25. GROPE runs on Sun-3s, Sun-4s, Macintoshes, IBM PCs, and others (tm's).
  26. It requires ParcPlace Smalltalk-80(tm) Version 2.5 and works best with
  27. NIST's WISE interpreter.  Full details of system requirements may be
  28. found in the Grope-Readme file.
  29.  
  30. GROPE is available via EMail by anyone sending their email address to
  31. grope@udel.edu.  If possible, please send your name and affiliation for
  32. the purpose of allowing me to support claims of usefullness. The actual
  33. code is available, as are Postscript versions of articles describing
  34. GROPE and its operation.
  35.  
  36. Also available via email is a collection of ``real world'' Estelle
  37. specifications, many of which have been made to work with GROPE.  Send
  38. mail to 'Est-Specs@udel.edu' for more information. Contributions
  39. welcome!
  40.  
  41. If you have any comments, questions, problems, or suggestions for improvement,
  42. please feel free to contact us at GROPE@UDEL.EDU or USA phone number
  43. (302) 451-8013 (Darren New) or (302) 451-1944 (Paul Amer, CIS dept).
  44. GROPE can also be obtained by those without email access: contact us.
  45. Our mailing address is 
  46.    Paul Amer
  47.    c/o Department of Computer and Information Science
  48.    103 Smith Hall
  49.    University of Delaware
  50.    Newark, DE 19717
  51.    FAX: 302-451-8000
  52.  
  53. A complete description of GROPE is appeared in
  54.     Information Software and Technology
  55. in March of 1990 under the title
  56.     'Adding Graphics and Animation to Estelle'.
  57. Also, an update on the status of GROPE was presented at FORTE'90
  58. in Madrid, Spain and will appear in those proceedings. 
  59. These papers are available in Postscript form to those who request it.
  60. A LaTeX version of these papers are also available for those without
  61. Postscript, but lacking issulstrations suffer in their presentation.
  62. "
  63.  
  64. " Code not available --- apply to authors as above. "
  65.  
  66.